-- MAIN == 1
DEF MAIN:bool == lt(3,6)
